home *** CD-ROM | disk | FTP | other *** search
/ ShareWare OnLine 2 / ShareWare OnLine Volume 2 (CMS Software)(1993).iso / win2 / wr21.zip / TEST_REF.REF < prev    next >
Text File  |  1992-12-02  |  18KB  |  646 lines
  1. %T Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling
  2. %A N. Audsley
  3. %A A. Burns
  4. %A M. Richardson
  5. %A K. Tindell
  6. %A A. Wellings
  7. %R RTRG/92/120
  8. %J Report RTRG/92/120 Department of Computer Science, University of York
  9. %D February 1992
  10.  
  11. %T Mode Changes in Priority Pre-emptively Scheduled Systems
  12. %A K. W. Tindell
  13. %A A. Burns
  14. %A A. J. Wellings
  15. %J Proceedings 13th IEEE Real-Time Systems Symposium
  16. %C Phoenix, Arizona, USA
  17. %D 2-4 December 1992
  18.  
  19. %T Using Offset Information to Analyse Static Priority Pre-Emptively Scheduled Task Sets
  20. %A K. Tindell
  21. %I Dept of Computer Science, University of York
  22. %R YCS 182
  23. %D August 1992
  24.  
  25. %T Allocating Real-Time Tasks (An NP-Hard Problem made Easy)
  26. %A K. Tindell
  27. %A A. Burns
  28. %A A.J. Wellings
  29. %J Real-Time Systems
  30. %V 4
  31. %N 2
  32. %D June 1992
  33. %P 145-165
  34.  
  35. %T Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times
  36. %A N. C. Audsley
  37. %I Dept. Computer Science, University of York
  38. %R YCS 164
  39. %D December 1991
  40.  
  41. %T Fixed Priority Scheduling of Periodic Task Sets With Arbitrary Deadlines
  42. %A J. P. Lehoczky
  43. %J Proceedings 11th IEEE Real-Time Systems Symposium
  44. %C Lake Buena Vista, FL, USA
  45. %D 5-7 Decmeber 1990
  46. %P 201-209
  47. %K RTSS rate-monotonic periodic scheduling uniprocessor
  48.  
  49. %T STRESS: A Simulator For Hard Real-Time System
  50. %A N. C. Audsley
  51. %A A. Burns
  52. %A M. F. Richardson
  53. %A A. J. Wellings
  54. %R RTRG/91/106
  55. %I Real-Time Research Group, Department of Computer Science, University of
  56. York
  57. %D October 1991
  58. %K stress manual standard
  59.  
  60. %T Experiments with a program timing tool based on source-level timing schema
  61. %X Analytic methods are employed at the source-language level, using formal
  62. timing schema that include control costs, handle interferences such as
  63. interrupts, and produce guaranteed best- and worst-case bounds. The timing tool
  64. computes the deterministic execution times for programs that are written in a
  65. subset of C and run on a bare machine. Two versions of the tool were written,
  66. using two granularity extremes for the atomic elements of the timing schema.
  67. All overview of the tool is given, timing schema and code prediction are
  68. discussed, and machine analysis and timing tool design are examined.
  69. Experimental and validation results are reported. It was found that all the
  70. predicted times are consistent, and most are safe. Some predictions are fairly
  71. tight, while others are a little loose. There are clear technical reasons that
  72. explain the differences between measured and predicted times, and technical
  73. solutions that should minimize these differences within the timing schema
  74. framework are seen
  75. %K program timing tool, source-level timing schema, formal timing schema, Sep91 execution times
  76. %O Computer (USA)
  77. %J Computer
  78. %A C.Y. Park
  79. %A A.C. Shaw
  80. %V 24
  81. %N 5
  82. %P 48-57
  83. %D May 1991
  84.  
  85. %T Building a Predictable Avionics Platform in Ada: A Case Study
  86. %A C. D. Locke
  87. %A D. R. Vogel
  88. %A T. J. Mesler
  89. %P 181-
  90. %D December 1991
  91. %I Proceedings of the 12th Real Time Systems Symposium
  92.  
  93. %T Finding Response Times in a Real-Time System
  94. %A M. Joseph
  95. %A P. Pandya
  96. %J BCS Computer Journal
  97. %D Vol. 29, No. 5, Oct 86
  98. %P 390-395
  99. %X Some alternative analysis of static priority scheduling, though it does
  100. not explicitly mention the rate monotonic algorithm. Extends it to
  101. allow for buffered inputs.
  102.  
  103. %T Parallel Simulated Annealing using Speculative Computation
  104. %A E. E. Witte
  105. %A R. D. Chamberlain
  106. %A M. A. Franlin
  107. %J IEEE Transactions on Parallel and Distributed Systems
  108. %V 2
  109. %N 4
  110. %D October 1991
  111. %P 483-494
  112.  
  113. %T Grundlagen der Strassenverkehrsplanung in Stadt und Land
  114. %A J. W. Korte
  115. %D 1960
  116. %I Wiesbaden Bauverlag GmbH
  117.  
  118. %T Resource Control For Hard Real-Time Systems: A Review
  119. %A N. C. Audsley
  120. %R YCS 159
  121. %I Department of Coputer Science, University of York
  122. %D August 1991
  123.  
  124. %T Programming highly parallel general-purpose applications
  125. %A S.A. Dobson
  126. %A A.J. Wellings
  127. %B Proceedings of the BCS workshop on abstract machine models for highly parallel computers
  128. %I University of Leeds
  129. %P 40-52
  130. %V 2
  131. %D 24-26th March 1991
  132.  
  133. %T On The Feasibility of Response Time Predictions - An Experimental Evaluation
  134. %A A. Vrchoticky
  135. %A P. Puschner
  136. %I PDCS Project (Esprit BRA Project 3092), Second Year Report
  137. %V 2
  138. %D May 1991
  139. %K mars dma problem
  140.  
  141. %T Real-time System Design
  142. %A S. Levi
  143. %A A. Agrawala
  144. %B McGraw Hill
  145. %D 1990
  146. %K formal book
  147.  
  148. %T Four-Slot Fully Asynchronous Communication Mechanism
  149. %A H. Simpson
  150. %J IEE Proceedings
  151. %D Vol. 137, Pt. E., No. 1, Jan 1990
  152. %P 17-30
  153. %R Vol 3/Communication
  154.  
  155. %T Dynamic code replacement and Ada
  156. %X There is a problem in trying to maintain highly reliable software which must
  157. continue executing over a long period of time. This problem is characterized by
  158. the international space station Freedom. The space station has a long planned
  159. lifetime and requires that the computer system remain running for this period.
  160. Updates to software normally require reloading. This paper reports on a study
  161. into eliminating the need for reloading by providing mechanisms whereby Ada
  162. programs can be changed in a consistent manner, permitting the execution of
  163. the system to continue
  164. %K highly reliable software, space station Freedom, Ada programs Jan91
  165. %O Ada Lett. (USA)
  166. %J Ada Letters
  167. %A K. Tindell
  168. %V 10
  169. %N 7
  170. %P 47-54
  171. %D Sept.-Oct. 1990
  172.  
  173. %T Reconfigurable Flight Control Via Multiple Model Adaptive Control Methods
  174. %A P. S. Maybeck
  175. %A R. D. Stevens
  176. %J IEEE Transactions on Aerospace and Electronic Systems
  177. %D May 1991
  178. %V 27
  179. %N 3
  180. %P 470-480
  181.  
  182. %T Effect of Errors on a Contention-Based TDMA Protocol
  183. %A L-S. Liang
  184. %A J-F. Chang
  185. %J IEEE Transactions on Aerospace and Electronic Systems
  186. %D May 1991
  187. %V 27
  188. %N 3
  189. %P 492-506
  190.  
  191. %T Channel Characteristics in Local-Area Hard Real-Time Systems
  192. %A K. Ramamritham
  193. %J Computer Networks and ISDN Systems
  194. %V 13
  195. %N 1
  196. %D 1987
  197.  
  198. %T Mode Change Protocols for Priority-Driven Premptive Scheduling
  199. %A L. Sha
  200. %A R. Rajkumar
  201. %A J. Lehoczky
  202. %A K. Ramamritham
  203. %J Real-Time Systems 
  204. %V 1
  205. %N 3
  206. %D 1989
  207. %P 244-264
  208. %K RTS
  209.  
  210. %T A Possible Architecture of a Distributed Hard Real-Time Executive for Space Applications
  211. %A S. Sabina
  212. %A F. Fedi
  213. %J First International Symposium on Ground Data Systems for Spacecraft Control, ESOC, Darmstadt, Germany
  214. %D 26-29 June 1990
  215.  
  216. %T On a Real-Time Scheduling Problem
  217. %A S. K. Dhall
  218. %A C. L. Liu
  219. %J Operations Research
  220. %V 26
  221. %N 1
  222. %P 127-140
  223. %D February 1978
  224.  
  225. %T Optimization by Simulated Annealing: An experimental Evaluation; Part I, Graph Partitioning
  226. %A David S. Johnson
  227. %A Cecilia R. Aragon
  228. %A Lyle A. McGeoch
  229. %A Catherine Schevon
  230. %J Operations Research
  231. %V 37
  232. %N 6
  233. %P 865-892
  234. %D November-December 1989
  235.  
  236. %T Digital Control Using Microprocessors
  237. %A Paul Katz
  238. %I Prentice Hall International
  239. %D 1981
  240.  
  241. %T Heuristic Technique for Processor and Link Assignment in Multicomputers
  242. %A S. Wayne Bollinger
  243. %A Scott F. Midkiff
  244. %J IEEE Transactions on Computers
  245. %V 40
  246. %N 
  247. %D March 1991
  248. %P 325-333
  249.  
  250. %T Scheduling Hard Real-Time Systems: A Review
  251. %A A. Burns
  252. %J Software Engineering Journal
  253. %V 6
  254. %N 3
  255. %P 116-128
  256. %D 1991
  257.  
  258. %T A system for building scalable parallel applications
  259. %A S.A. Dobson
  260. %A A.J. Wellings
  261. %B Proceedings of the IFIP working conference on programming environments for parallel computing
  262. %I University of Edinburgh
  263. %D 6-8th April 1992
  264. %O To be published by Elsevier
  265.  
  266. %T A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System
  267. %A S. H. Bokhari
  268. %J IEEE Transactions on Software Engineering 
  269. %V SE-7
  270. %N 6
  271. %P 583-589
  272. %D November 1981
  273. %K  TSE 
  274.    IEEEtse
  275.  
  276. %T Heuristic Models of Task Assignment Scheduling in Distributed Systems
  277. %A Kemal Efe
  278. %J IEEE Computer
  279. %V 15
  280. %N 6
  281. %D June 1982
  282. %P 50-??
  283. %K IEEEComp
  284.  
  285. %T A Heuristic Model for Task Allocation in Distributed Computer Systems
  286. %A Anil K. Sarje
  287. %A G. Sagar
  288. %J IEEE Proceedings E - Computers and Digital Techniques
  289. %D To Appear
  290.  
  291. %T A Problem Independent Parallel Implementation of Simulated Annealing: Models and Experiments
  292. %A Pierre Roussel-Ragot
  293. %A Gerard Dreyfus
  294. %D August 1990
  295. %V 9
  296. %N 8
  297. %J IEEE Transactions on Computer-Aided Design
  298.  
  299. %T Maintaining Global Time in Futurebus+
  300. %A Richard A. Volz
  301. %A Lui Sha
  302. %A Dwight Wilcox
  303. %J Real Time Systems
  304. %D March 1991
  305. %V 3
  306. %N 1
  307.  
  308. %T Priority Inheritance and Message Passing Communication: A Formal Treatment
  309. %A A. Burns
  310. %A A. J. Wellings
  311. %J Real Time Systems
  312. %D March 1991
  313. %V 3
  314. %N 1
  315.  
  316. %T Global Cyclic Scheduling: A Method to Guarantee the Timing Behaviour of Distributed Real-Time Systems
  317. %A Ralf Agne
  318. %J Real Time Systems
  319. %D March 1991
  320. %V 3
  321. %N 1
  322.  
  323. %T Stack-Based Scheduling of Realtime Processes
  324. %A T. P. Baker
  325. %J Real Time Systems
  326. %D March 1991
  327. %V 3
  328. %N 1
  329.  
  330. %T Natural Solutions Give Their Best
  331. %J New Scientist
  332. %A N. Radcliffe
  333. %A G. Wilson
  334. %P 47-50
  335. %D 14th April 1990
  336.  
  337. %T The challenge of building process-control software
  338. %X Process control is explained, and it is shown why trying to build
  339. process-control software using the same approaches developed and used for
  340. data-processing and information-system software will lead to failure. Rather
  341. than offering solutions to the problems inherent in developing process-control
  342. software, the author identifies the aspects of the problem on which to focus
  343. attention and the tasks that are ripe for solution. In particular, modeling and
  344. analysis, human-computer interaction, and risk evaluation are discussed
  345. %K real-time software, process-control software, modeling, analysis,
  346.    Mar91
  347. human-computer interaction, risk evaluation
  348. %O IEEE Softw. (USA)
  349. %J IEEE Software
  350. %A N.G. Leveson
  351. %V 7
  352. %N 6
  353. %P 55-62
  354. %D Nov. 1990
  355.  
  356. %T Algorithms + data structures = programs
  357. %A Niklaus Wirth
  358. %I Prentice-Hall
  359. %D 1976
  360.  
  361. %T An algorithm for generalized point location and its applications
  362. %X Shows that the Collins classical quantifier elimination procedure contains
  363. most of the ingredients for an efficient point location algorithm in
  364. higher-dimensional space. This leads to a polynomial-size data structure that
  365. allows one to locate, in logarithmic time, a point among a collection of real
  366. algebraic varieties of constant maximum degree, assuming that the dimension of
  367. the ambient space is fixed. This result has theoretical bearings on a number of
  368. optimization problems posed in the literature. It also gives a method for
  369. solving multidimensional searching problems in polynomial space and logarithmic
  370. query time
  371. %K algorithm, Collins classical quantifier elimination procedure, point
  372.    Apr91
  373. location algorithm, polynomial-size data structure, real algebraic varieties,
  374. optimization problems, multidimensional searching problems, polynomial space,
  375. logarithmic query time
  376. %O J. Symb. Comput. (UK)
  377. %J Journal of Symbolic Computation
  378. %A Chazelle, B.
  379. %A Sharir, M.
  380. %V 10
  381. %N 3-4
  382. %P 281-309
  383. %D Sept.-Oct. 1990
  384.  
  385. %T Real-time data acquisition at mission control
  386. %X Perhaps one of the most powerful symbols of the United States' technological
  387. prowess is the Mission Control Center (MCC) at the Lyndon B. Johnson Space
  388. Center in Houston. The rooms at Mission Control have been witness to major
  389. milestones in the history of American technology such as the first lunar
  390. landing. This facility, however, has received only modest upgrades since the
  391. Apollo program. Until recently it maintained a mainframe-based architecture
  392. that displayed data and left the job of data analysis to flight controllers.
  393. The application of the techniques shown has resulted in a new look and feel to
  394. Mission Control evidenced by a new communication and tracking system display.
  395. The authors look at some applications examples, hard and soft real-time
  396. constraint, Unix data acquisition, data display and expert systems, support
  397. techniques for real-time expert systems, major frame buffers for logging and
  398. distribution, data quality of frames and individual parameters, calibration and
  399. conversion and noise filtering
  400. %K NASA, data acquisition, Mission Control Center, Space Center, data analysis,
  401.    Apr91
  402. communication, real-time constraint, Unix, data display, expert systems, frame
  403. buffers, calibration, noise filtering
  404. %O Commun. ACM (USA)
  405. %J Communications of the ACM
  406. %A Muratore, J.F.
  407. %A Heindel, T.A.
  408. %A Murphy, T.B.
  409. %A Rasmussen, A.N.
  410. %A McFarland, R.Z.
  411. %V 33
  412. %N 12
  413. %P 18-31
  414. %D Dec. 1990
  415.  
  416. %T An approach to scalable parallel programming
  417. %A Simon A. Dobson
  418. %I Department of computer science, University of York
  419. %O D.Phil. thesis (in preparation)
  420.  
  421. %T Editorial: What is Predictability for Real-Time Systems
  422. %A J.A. Stankovic
  423. %A K. Ramamritham
  424. %J Real-Time Systems 
  425. %V 2
  426. %N 4
  427. %D Nov 1990
  428. %P 247-254
  429. %K RTS
  430.  
  431. %T Programmable Real-Time Scheduler Using a Neurocomputer
  432. %A T. Ae
  433. %A R. Aibara
  434. %J Real-Time Systems 
  435. %V 1
  436. %N 4
  437. %D April 1990
  438. %P 351-364
  439. %K RTS
  440.  
  441. %T Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic Real-Time Tasks on One Processor
  442. %A S. Baruah
  443. %A L. E. Rosier
  444. %A R. R. Howell
  445. %J Real-Time Systems 
  446. %V 2
  447. %N 4
  448. %D Nov 1990
  449. %P 301-324
  450. %K RTS
  451.  
  452. %T Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems
  453. %A M-I. Chen
  454. %A K-J. Lin
  455. %J Real-Time Systems 
  456. %V 2
  457. %N 4
  458. %D Nov 1990
  459. %P 325-346
  460. %K RTS
  461.  
  462. %T Comparative Evaluation of High-Level Real-time Programming Languages
  463. %A W. Halang
  464. %A A. Stoyenko
  465. %J Real-Time Systems 
  466. %V 2
  467. %N 4
  468. %D Nov 1990
  469. %P 365-382
  470. %K RTS
  471.  
  472. %T Architectural Foundations for Real-Time Performance in Intelligent Agents
  473. %A B. Hayes-Roth
  474. %J Real-Time Systems 
  475. %V 2
  476. %N 1/2
  477. %D May 1990
  478. %P 99-126
  479. %K RTS
  480.  
  481. %T Feasible Processor Allocation in a Hard-Real-Time Environment
  482. %A R. K. J. Henn
  483. %J Real-Time Systems
  484. %V 1
  485. %N 1
  486. %D June 1989
  487. %P 77-95
  488. %K RTS
  489.  
  490. %T An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design
  491. %A S. Honiden
  492. %A N. Uchihira
  493. %J Real-Time Systems 
  494. %V 1
  495. %N 4
  496. %D April 1990
  497. %P 313-332
  498. %K RTS
  499.  
  500. %T Addressing Real-Time Constraints in the Desing of Autonomous Agents
  501. %A A.E. Howe
  502. %A D.M. Hart
  503. %A P.R. Cohen
  504. %J Real-Time Systems 
  505. %V 2
  506. %N 1/2
  507. %D May 1990
  508. %P 81-97
  509. %K RTS
  510.  
  511. %T Specifying Real-Time Properties with Metric Temporal Logic
  512. %A R. Kaoymans
  513. %J Real-Time Systems 
  514. %V 2
  515. %N 4
  516. %D Nov 1990
  517. %P 255-300
  518. %K RTS
  519.  
  520. %T Depth-Limited Search for Real-Time Problem Solving
  521. %A R. E.  Korf
  522. %J Real-Time Systems 
  523. %V 2
  524. %N 1/2
  525. %D May 1990
  526. %P 7-24
  527. %K RTS
  528.  
  529. %T Forcasting Real-Time Behaviour During Software Design using a CASE
  530. Environment
  531. %A R.J. Lauber
  532. %J Real-Time Systems
  533. %V 1
  534. %N 1
  535. %D June1989
  536. %P 61-76
  537. %K RTS
  538.  
  539. %T Predictable Synchronization Mechanisms fore Multiprocessor Real-Time Systems
  540. %A L. D. Molessky
  541. %A C. Shen
  542. %A G. Zlokapa
  543. %J Real-Time Systems 
  544. %V 2
  545. %N 3
  546. %D Sept 1990
  547. %P 163-180
  548. %K RTS
  549.  
  550. %T Real-Time Control Software for Tranasaction Processing Based Colored Safe Petri Net Model
  551. %A T. Muarata
  552. %A N. Komoda
  553. %J Real-Time Systems 
  554. %V 1
  555. %N 4
  556. %D April 1990
  557. %P 299-312
  558. %K RTS
  559.  
  560. %A Analysis of Real-Time Properties and Rules for Setting Protocols  Parameters of MAP Networks
  561. %A H. Rzehak
  562. %A A. E. Elnakhal
  563. %A R. Jaeger
  564. %J Real-Time Systems 
  565. %V 1
  566. %N 3
  567. %D 1990
  568. %P 221-243
  569. %K RTS
  570.  
  571. %T RTMMS - An OSI-Based Real-Time Messaging System
  572. %A M. Rodd
  573. %A I. Izikowitz
  574. %A W. Zhao
  575. %J Real-Time Systems 
  576. %V 2
  577. %N 3
  578. %D Sept 1990
  579. %P 213-234
  580. %K RTS
  581.  
  582. %T Architecture optimization of aerospace computing systems
  583. %X One of the requirements of a fault-tolerant computer system for real-time
  584. aerospace applications is the characteristic of graceful degradation. A shared
  585. and replicated resources computing system represents such an architecture. A
  586. combinatorial model is used for the evaluation of the instruction execution
  587. rate of a degradable, replicated resources computing system such as a modular
  588. multiprocessor system. Next, a method is presented to evaluate the
  589. computational reliability of such a system utilizing a reliability graph model
  590. and the instruction execution rate. Finally, this computational reliability
  591. measure, which simultaneously describes both performance and reliability, is
  592. applied as a constraint in an architecture optimization model for such
  593. computing systems
  594. %K real time systems, shared resources, architectural optimisation, aerospace 1984
  595. computing systems, fault-tolerant computer, graceful degradation, replicated
  596. resources, combinatorial model, instruction execution rate, modular
  597. multiprocessor system, computational reliability, performance, architecture
  598. optimization
  599. %O IEEE Trans. Comput. (USA)
  600. %J IEEE Transactions on Computers
  601. %A Pedar, A.
  602. %A Sarma, V.V.S.
  603. %V vol.C-32, no.10
  604. %P 911-22
  605. %D Oct. 1983
  606.  
  607. %T Fundamental Design Problems of Distributed Systems for Hard Real Time Environments
  608. %A A.K. Mok
  609. %R PhD Thesis, Laboratory for Computer Science (MIT),  MIT/LCS/TR-297.
  610. %D 1983
  611.  
  612. %T Task Scheduling in Distributed Real-Time Systems
  613. %K IO Bus
  614. %A L. Sha
  615. %A J. P. Lehoczky
  616. %A R. Rajkumar
  617. %J Proceedings of IEEE Industrial Electronics Conference
  618. %D 1987
  619.  
  620. %T Error Recovery Techniques for Fault Tolerant Distributed Computer Systems
  621. %A J. A. McDermid
  622. %J Ph.D Thesis
  623. %D August 1981
  624. %I University of Birmingham 
  625. %K Theses
  626.  
  627. %T Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel
  628. %A J.D. Northcutt
  629. %I Academic Press
  630. %D 1987
  631. %K book
  632.  
  633. %T Accident review: 1970
  634. %J Flight International
  635. %P 105-106
  636. %D January 21, 1971
  637. %O V2
  638. %K 1970 crash statistics accident record
  639.  
  640. %T Quantum Electrodynamical Spacial Translation in the Caring Society
  641. %A K. Tindell
  642. %D March 2057
  643. %J Proceedings of International Conference on Applied Thought Experiments
  644. %C Lunik Base, Mare Ibrium
  645.  
  646.